19.07/20.58	unsat
