3.88/5.28	unsat
