17.55/19.17	unsat
