84.01/86.81	unsat
