49.28/83.35	unsat
