17.45/19.84	unsat
