49.39/52.11	unsat
