4.68/6.58	unsat
