48.08/52.42	unsat
