50.06/52.11	unsat
