86.48/89.71	unsat
