4.47/6.71	unsat
