4.87/5.28	unsat
