92.12/95.07	unsat
