84.05/84.26	unsat
