1.28/5.04	unsat
