92.18/95.72	unsat
