1.28/4.04	unsat
