4.59/6.71	unsat
