48.48/51.96	unsat
