92.94/93.16	unsat
