86.48/88.19	unsat
