91.89/93.32	unsat
