80.72/82.71	unsat
