1.18/2.04	unsat
