4.08/5.02	unsat
