93.02/95.33	unsat
