47.20/47.41	unsat
