1.48/4.04	unsat
