86.72/88.40	unsat
