93.06/94.01	unsat
