80.93/84.04	unsat
