5.07/6.68	unsat
