86.79/88.68	unsat
