1.95/2.04	unsat
