86.68/89.49	unsat
