50.16/52.11	unsat
