48.12/52.30	unsat
