17.64/19.84	unsat
