86.19/87.18	unsat
