4.87/5.02	unsat
