46.20/47.22	unsat
