17.87/19.69	unsat
