4.47/5.02	unsat
