86.15/87.54	unsat
