46.02/47.06	unsat
