50.37/52.03	unsat
