86.56/89.98	unsat
