4.98/5.04	unsat
