86.20/89.64	unsat
