17.45/19.14	unsat
