86.69/87.41	unsat
