47.12/47.22	unsat
