17.66/19.73	unsat
