80.84/85.63	unsat
