17.46/19.84	unsat
