82.36/84.71	unsat
