6.37/6.47	unsat
