4.98/5.02	unsat
