50.57/52.03	unsat
