5.06/6.58	unsat
