17.57/19.84	unsat
