1.24/4.04	unsat
