3.73/5.02	unsat
