4.88/6.28	unsat
