82.29/124.30	unsat
