51.19/52.36	unsat
