51.09/52.54	unsat
