5.07/6.58	unsat
