47.45/51.69	unsat
