4.09/5.04	unsat
