46.01/47.42	unsat
