47.14/47.22	unsat
