17.57/18.84	unsat
