87.30/91.30	unsat
