4.28/6.58	unsat
