17.57/19.73	unsat
