21.06/33.72	unsat
