86.33/94.10	unsat
