3.88/5.04	unsat
