85.89/86.19	unsat
