88.04/94.07	unsat
