86.46/86.73	unsat
