92.86/93.78	unsat
