1.66/2.04	unsat
