82.77/83.65	unsat
